🐚 Shell Combinators - matmat · Scour

The Helpful Adversary

dev.to·18h·

Discuss: DEV

🐚Shell Monads

Show HN: Procjail – Building a process isolator in Go using Linux namespaces

emmanuel326.github.io·5h·

Discuss: Hacker News

🐚Shell Monads

Functional Logic Program Transformations

arxiv.org·14h

🔗Functional Compilers

Modernizing Legacy C Systems: Safe Rust Integration Without Complete Rewrites

dev.to·5h·

Discuss: DEV

🦀Embedded Rust

On the way to step functions: the two worlds

blog.julik.nl·1d

🐚Shell Calculus

Designing a Programming Language for the Desert

futhark-lang.org·3h·

Discuss: Hacker News

🔗Functional Compilers

The Unix Pipe Card Game

punkx.org·1d·

Discuss: Hacker News

🐚Shell Calculus

Red Macros Factory Is Joining OST (And So Am I!)

outflank.nl·3h

🦀Rust Macros

abelianization of an additive category in nLab

ncatlab.org·2h

🧮Algebraic Archives

Concurrent Permissive Strategy Templates

arxiv.org·14h

✨Effect Handlers

Subterms Modulo Theories I

philipzucker.com·2d

🎯Automata theory

Conversation: LLMs and the what/how loop

martinfowler.com·4h

🧩WASM Components

Writing your first compiler

popovicu.com·2d·

Discuss: Hacker News, r/golang

📝Compiler Design

jameysharp/live-long-and-prospero: A small compiler for the Prospero Challenge in Constructive Solid Geometry

github.com·2d

🦀Rust Macros

How Static Analysis Can Expose Personal Data Hidden in Source Code

hackernoon.com·7h

📊Static Analysis

ra0x3/mcpkit-rs: PoC MCP WebAssembly (WASM) integration, forked from the official Rust SDK for the Model Context Protocol

github.com·3h·

Discuss: Hacker News

What I’ve learned over 3 years of writing code

blog.scottlogic.com·1d

📏Code Metrics

Soundness bugs in Rust libraries: can't live with 'em, can't live without 'em

docs.rs·3h·

Discuss: Hacker News

🔒Type Safety

Pavis: A Dumb Proxy for Boring Reloads

fabian4.site·3h·

Discuss: Hacker News

🦀Rust Borrowing

BPF Verifier State Pruning: Timeline

pchaigno.github.io·1d

🛡️Archive Verification

Loading more...